Search results for "Modeling language"
showing 10 items of 82 documents
Resistive communications based on neuristors
2017
Memristors are passive elements that allow us to store information using a single element per bit. However, this is not the only utility of the memristor. Considering the physical chemical structure of the element used, the memristor can function at the same time as memory and as a communication unit. This paper presents a new approach to the use of the memristor and develops the concept of resistive communication.
Dynamic Design Intents Capture with Formal Ontology and Perdurants Object Concept for Collaborative Product Design
2016
Loss of design intents and related information throughout the lifecycle of products are common. Capturing design intents of an assembly, which include a temporal (dynamic) stages, is even harder. This research work aims to enhance the spatiotemporal mereotopology (STM) based ontology in tune with the contemporary efforts in this research domain. The main idea with such STM ontology is to capture dynamic design intents and develop an integrated data translation framework from Computer Aided Design (CAD) system to a visualization system. This integration framework is intended to enhance design sharing in a collaborative environment. In this paper, the framework is demonstrated with a simple m…
Ensuring the Reliability of an Autonomous Vehicle
2017
International audience; In automotive applications, several components, offering different services, can be composed in order to handle one specific task (autonomous driving for example). Nevertheless, component composition is not straightforward and is subject to the occurrence ofbugs resulting from components or services incompatibilities for instance. Hence, bugs detection in component-based systems at thedesign level is very important, particularly, when the developed system concerns automotive applications supporting critical services.In this paper, we propose a formal approach for modeling and verifying the reliability of an autonomous vehicle system, communicatingcontinuously with of…
MOF-VM: Instantiation Revisited
2016
The Model-Driven Architecture (MDA) is based on an understanding of a hierarchy of levels that are placed on top of each other and that are connected with instantiation. For practical MDA use, it is important to be clear about the kinds of objects that reside on the different levels and the relations between them as well as relations to objects outside of the MDA domain. This article aims at enhancing the understanding of these objects and relations by relating them to a virtual MOF machine.
Equivalence Problem of Composite Class Diagrams
2001
Multiplicity constraints in a UML composite class diagram may be inconsistent. An algorithm is given for eliminating all such inconsistencies. Using this algorithm an algorithm is constructed which for two given composite class diagrams solves the equivalence problem. These algorithms can be embedded in CASE tools for automated detection of multiplicity inconsistencies.
Multi Architecture Optimization of a Hybrid Electric Vehicle Using Object-Oriented Programming
2017
This article presents an energetic macroscopic representation multi-architecture model for hybrid vehicles using object-oriented programming. This approach is successfully used to evaluate the power performance and fuel consumption of different vehicles on different driving cycles. An optimization of power source sizing (ICE, EM and Battery) and system control, based on simulation results, is carried. Different architectures are compared for given cycles and optimization of hybrid architecture will also be possible.
Information Systems Students’ Impressions on Learning Modeling Enterprise Architectures
2020
This Full Research Paper presents enterprise architecture (EA) modeling tools utilized in an educational context. EA is a well-known and a commonly used approach for organizational development aiming to improve the alignment of business operations and information technology. This high level design of information technology (IT) driven business operations lays the foundations on lower level technical activities such as the design and implementation of application programs and features, system boundary interfaces, database distribution and data pipes, and system recovery. Organizations’ architectures are made visible by creating EA artefacts, such as business process diagrams, data models and…
Domain-Specific Characteristics of Data Quality
2017
The research discusses the issue how to describe data quality and what should be taken into account when developing an universal data quality management solution. The proposed approach is to create quality specifications for each kind of data objects and to make them executable. The specification can be executed step-by-step according to business process descriptions, ensuring the gradual accumulation of data in the database and data quality checking according to the specific use case. The described approach can be applied to check the completeness, accuracy, timeliness and consistency of accumulated data.
Social Simulation Based on Cellular Automata: Modeling Language Shifts
2011
Nowadays, language shifts (i.e., a community of speakers stops using their traditional language and speaks a new one in all communication settings) may produce a massive extinction of languages throughout the world. In this context, an important task for social sciences research should therefore be to achieve a deep comprehension of language shifts. However, modeling the social and behavioral variables that guide the social behavior of individuals and groups has traditionally been tricky in all the social sciences. In this situation, social simulation provides a tool for testing hypotheses and building models of social phenomena (see, for example, Gilbert, 1996; Gilbert & Toitzsch, 2005; an…
A family of experiments to generate graphical user interfaces from BPMN models with stereotypes
2021
Abstract Context: A significant gap separates Business Process Model and Notation (BPMN) models representing processes from the design of Graphical User Interfaces (GUIs). Objective: This paper reports on a family of experiments to validate a method to automatically generate GUIs from BPMN models using stereotypes complemented with UML class primitives, and transformation rules. Method: We conducted two replications (23 and 31 subjects respectively) in which we compared two methods to generate GUIs from BPMN models; one automatic (using Stereotyped BPMN models) and one manual (using Non-stereotyped BPMN models). The study focuses on comparing effort, accuracy, and satisfaction (in terms of …